From: Ian Jackson <Ian.Jackson@eu.citrix.com>
Date: Thu, 24 Nov 2011 19:00:25 +0000 (+0000)
Subject: tools/check: Add files missing from 24205:5c88358164cc
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/success//%22http:/www.example.com/cgi/success/?a=commitdiff_plain;h=b3d436d2a4a6efc5529e8c251b3b351a830db6bf;p=xen.git

tools/check: Add files missing from 24205:5c88358164cc

Committed-by: Ian Jackson <ian.jackson@eu.citrix.com>
---

diff --git a/tools/check/check_libaio_devel b/tools/check/check_libaio_devel
new file mode 100755
index 0000000000..6cf42b7a51
--- /dev/null
+++ b/tools/check/check_libaio_devel
@@ -0,0 +1,11 @@
+#!/bin/sh
+# CHECK-BUILD
+
+. ./funcs.sh
+
+if [ X${CONFIG_SYSTEM_LIBAIO} != X"y" ] ; then
+    exit 0
+fi
+if ! has_header libaio.h ; then
+    fail "can't find libaio headers, install libaio devel package or set CONFIG_SYSTEM_LIBAIO=n"
+fi
diff --git a/tools/check/check_libaio_lib b/tools/check/check_libaio_lib
new file mode 100755
index 0000000000..40bafa2496
--- /dev/null
+++ b/tools/check/check_libaio_lib
@@ -0,0 +1,9 @@
+#!/bin/sh
+# CHECK-BUILD CHECK-INSTALL
+
+. ./funcs.sh
+
+if [ X${CONFIG_SYSTEM_LIBAIO} != X"y" ] ; then
+    exit 0
+fi
+has_lib libaio.so || fail "can't find libaio"